Synonyme wurden verwendet für: mathematischer Beweis
Suche ohne Synonyme: keywords:("mathematischer Beweis")

1–16 von 16 Ergebnissen
|

    Formal methods and temporal safety requirements: A level crossing application

    Defossez, F. / Bon, P. / Collart Dutilleul, S. | Tema Archiv | 2007
    Schlagwörter: mathematischer Beweis

    An efficiency-based capacity formulation: mathematical properties and practical implications

    Shao, Changqiao / Siam, M. R. K. / Deng, Shejun et al. | Taylor & Francis Verlag | 2021
    Schlagwörter: mathematical proof

    A situated reasoning architecture for space-based repair and replace tasks

    Sanborn, J. / Bloom, B. / McGrath, D. | Tema Archiv | 1989
    Schlagwörter: MATHEMATISCHER BEWEIS

    Building intelligence into an autopilot - using qualitative simulation to support global decision making

    Albornoz, A. de / Cellier, F.E. | Tema Archiv | 1994
    Schlagwörter: mathematischer Beweis

    Proving safety of a railway signalling system incorporating geographic data

    Ingleby, M. / Mitchell, I. | Tema Archiv | 1992
    Schlagwörter: mathematischer Beweis

    Decentralized control of traffic networks

    Davison, E.J. / Oezguener, Ue. | Tema Archiv | 1983
    Schlagwörter: MATHEMATISCHER BEWEIS

    A model-based approach for organizing quantitative computations

    Sticklen, J. / Kamel, A. / Bond, W.E. | Tema Archiv | 1991
    Schlagwörter: MATHEMATISCHER BEWEIS

    Responsive and time-constrained reasoning in autonomous vehicles

    Chantler, M.J. / Lane, A.G. / McFadzean, A.G. | Tema Archiv | 1989
    Schlagwörter: MATHEMATISCHER BEWEIS

    Optimization of linear control systems with assigned spectrum

    Smagina, E.M. | Tema Archiv | 1984
    Schlagwörter: MATHEMATISCHER BEWEIS

    Minimum entropy static output-feedback control with an Hinfinity -norm performance bound

    Yaesh, I. / Shaked, U. | Tema Archiv | 1997
    Schlagwörter: mathematischer Beweis

    Time-varying exponential stabilization of a rigid spacecraft with two control torques

    Morin, P. / Samson, C. | Tema Archiv | 1997
    Schlagwörter: mathematischer Beweis

    Sensor selection techniques in device monitoring

    Doyle, R.J. / Fayyad, U.M. | Tema Archiv | 1991
    Schlagwörter: MATHEMATISCHER BEWEIS

    A nonlinear small gain theorem for the analysis of control systems with saturation

    Teel, A.R. | Tema Archiv | 1996
    Schlagwörter: mathematischer Beweis

    A compact navigation system using image processing and fuzzy control

    Kamada, H. / Naoi, S. / Gotoh, T. | Tema Archiv | 1990
    Schlagwörter: MATHEMATISCHER BEWEIS

    Experiments illustrating the importance of automated reasoning

    Bernard, J.A. / Wyant, F.J. | Tema Archiv | 1992
    Schlagwörter: MATHEMATISCHER BEWEIS

    Wheel torque proportioning, rear steering, and normal force control: a structural investigation

    Unyelioglu, K.A. / Ozguner, U. / Hissong, T. et al. | Tema Archiv | 1997
    Schlagwörter: mathematischer Beweis